Purity as a witness for initial system-environment correlations in open-system dynamics

We study the dynamics of a two-level atom interacting with a Lorentzian structured reservoir considering initial system-environment correlations. It is shown that under strong system-reservoir coupling the dynamics of purity can determine whether there are initial correlations between system and environment. Moreover, we investigate the interaction of two two-level atoms with the same reservoir. In this case, we show that besides determining if there are initial system-environment correlations, the dynamics of the purity of the atomic system allows the identification of the distinct correlated initial states. In addition, the dynamics of quantum and classical correlations is analyzed.Comment: 6 pages, 3 figure

Research on Long-Term Care Homes for Older People in Brazil: Protocol for Scoping Review

LOTUS CONSORTIUM - Improving care in Long-term Care Institutions in Brazil and Europe through Collaboration and ResearchBackground The fast growth of the ageing population in low and middle-income countries, such as Brazil, has allowed little time for social and health care systems to adapt. As the care needs for the most vulnerable and frail older people become increasingly complex, services and governments need to ensure that long term care homes deliver high-quality and evidence-based care to meet their healthcare needs. Aim To examine and map the range of research undertaken in Brazil regarding care homes published in peer reviewed journals. Method This scoping review will consider all relevant peer-reviewed primary studies fully or partly conducted in Brazilian care homes including those which consider workforce (for example, e.g. healthcare professionals, care staff, and management level staff) and care home residents (older people aged 60 years and above), using empirical and original research focused on any health related topic. The searches will be conducted using bibliographic databases (MEDLINE, EMBASE, LILACS and Google Scholar) and manual searching of the reference lists of relevant studies published in English, Portuguese or Spanish from inception up to 2018. Two authors will independently screen each document by title and abstract against the eligibility criteria. In case of disagreement, a third reviewer will be consulted. Data from the included studies will be extracted and reported using tables, graphs, and narrative accounts using elements of content analysis. The Mixed Methods Appraisal Tool will be used to appraise the methodological quality of the included studies

Age-related differences in head posture between patients with neck pain and pain-free individuals

Head posture and neck pain of chronic nontraumatic origin: a comparison between patients and pain-free persons.SFRH/BD/30735/20

Spectra of weighted algebras of holomorphic functions

We consider weighted algebras of holomorphic functions on a Banach space. We determine conditions on a family of weights that assure that the corresponding weighted space is an algebra or has polynomial Schauder decompositions. We study the spectra of weighted algebras and endow them with an analytic structure. We also deal with composition operators and algebra homomorphisms, in particular to investigate how their induced mappings act on the analytic structure of the spectrum. Moreover, a Banach-Stone type question is addressed.Comment: 25 pages Corrected typo

The experiences of Portuguese physiotherapists when they assess head posture for patients with neck pain: A focus group study

Resumo indisponível

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of its fragments have an undecidable satisfiability problem. This discouraged the research in this area until recently, when a number non-trivial decidable ITLs have been discovered. This paper is a contribution towards the complete classification of all different fragments of HS. We consider different combinations of the interval relations Begins, After, Later and their inverses Abar, Bbar, and Lbar. We know from previous works that the combination ABBbarAbar is decidable only when finite domains are considered (and undecidable elsewhere), and that ABBbar is decidable over the natural numbers. We extend these results by showing that decidability of ABBar can be further extended to capture the language ABBbarLbar, which lays in between ABBar and ABBbarAbar, and that turns out to be maximal w.r.t decidability over strongly discrete linear orders (e.g. finite orders, the naturals, the integers). We also prove that the proposed decision procedure is optimal with respect to the complexity class